0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Verification Techniques – alle Bücher

    Ihre Suche nach "verification techniques" ergab 5 Treffer

    Ansicht:
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 14683

    This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024.The primary f…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 14681

    This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 14682

    This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    : Rewriting Logic and Its Applications, Buch

    Rewriting Logic and Its Applications

    Lecture Notes in Computer Science -Band 14953

    This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, duri…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,51*
    : Designing Modern Embedded Systems: Software, Hardware, and Applications, Buch

    Designing Modern Embedded Systems: Software, Hardware, and Applications

    IFIP Advances in Information and Communication Technology -Band 669

    This book constitutes the refereed proceedings of the 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, held in Lippstadt, Germany, during November 3-4, 2022. The 10 full revised papers…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 93,08*
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH